Language and Computation - PDFSEARCH.IO - Document Search Engine

Language and Computation
Results: 343

#	Item
91	BRICS RSBiernacka & Danvy: A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2006-02-02 19:43:31 Applied mathematics Models of computation Computability theory Explicit substitution Reduction strategy Operational semantics Beta normal form Overlap Formal language Mathematics Theoretical computer science Lambda calculus
92	Automatically Proving the Correctness of Program Analyses and Transformations Sorin Lerner A dissertation submitted in partial fulfillment of Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2006-03-22 02:52:44 Compiler optimizations Software Compiler construction Formal methods Models of computation Compiler Dataflow Constant folding Automated theorem proving Programming language implementation Computing Software engineering
93	Extending Coq with Imperative Features and its Application to SAT Verification Micha¨el Armand1 , Benjamin Gr´egoire1, Arnaud Spiwack2 , and Laurent Th´ery1 1 INRIA Sophia Antipolis - M´editerran´ee, France, Add to Reading List Source URL: assert-false.net Language: English - Date: 2012-02-29 08:17:30 Type theory Data types Computability theory Formal methods Models of computation Lambda calculus C++ classes Type system ALGOL 68 Software engineering Programming language theory Computing
94	JMLR: Workshop and Conference Proceedings 34:109–123, 2014 Proceedings of the 12th ICGI Learning Nondeterministic Mealy Machines Ali Khalili Add to Reading List Source URL: jmlr.org Language: English - Date: 2014-08-26 06:56:50 Symbol Mealy machine Finite-state machine Regular language Computing Mathematics Finite state transducer Automata theory Models of computation Nondeterministic finite automaton
95	From a Calculus to an Execution Environment for Stream Processing Robert Soul´e Martin Hirzel Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2012-05-31 00:44:33 Models of computation Programming language implementation Data types Compiler construction Abstract data types Compiler optimization Stream processing Sawzall Increment and decrement operators Software engineering Computing Computer programming
96	Complete Completion using Types and Weights Tihomir Gvero Viktor Kuncak Ivan Kuraj ´ Ecole Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-04-07 11:25:49 Programming language theory Proof theory Logic in computer science Models of computation Curry–Howard correspondence Philosophy of computer science Symbol Lambda calculus Monad Theoretical computer science Computer science Type theory
97	SLEEC: Semantics-rich Libraries for Effective Exascale Computation Milind Kulkarni, Arun Prakash,Vijay Pai and Sam Midkiff Add to Reading List Source URL: xstackwiki.modelado.org Language: English - Date: 2014-05-28 12:29:09 Problem solving Annotation Mathematical optimization Compiler Library Semantics Computing Language Operations research Software Heuristic
98	From a Calculus to an Execution Environment for Stream Processing Robert Soul´e Martin Hirzel Add to Reading List Source URL: www.inf.usi.ch Language: English - Date: 2013-11-23 22:50:11 Models of computation Programming language implementation Data types Compiler construction Abstract data types Compiler optimization Stream processing Sawzall Increment and decrement operators Software engineering Computing Computer programming
99	The Monad.Reader Issue 16 by Aran Donohue and John W. Lato and Louis Wasserman May 12, 2010 Add to Reading List Source URL: themonadreader.files.wordpress.com Language: English - Date: 2010-05-12 14:00:40 Models of computation Software engineering Computing Nondeterministic finite automaton Deterministic finite automaton Regular expression Monad Finite-state machine Regular language Automata theory Formal languages Theoretical computer science
100	Languages vs. ω-Languages in Regular Infinite Games Namit Chaturvedi? , Jörg Olschewski?? , and Wolfgang Thomas Lehrstuhl Informatik 7, RWTH Aachen University, Germany {chaturvedi,olschewski,thomas}@automata.rwth-aache Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 11:02:51 Formal languages Computer science Theory of computation Ω-automaton Omega language Büchi automaton Symbol Determinacy Regular language Automata theory Mathematics Theoretical computer science

UPDATE